#Constants
identifier 'sink' => 20

#Event Types
#No warnings - extensive use of symbols
#With is a method that adds the information to the given context
Type 'send' do
 with :nodeid => :integer, :range => [0,255], :notification => error
 with :destination => :integer, :notification => warning
 with :origin => :integer, :range => [0,255]
 with :seqNo => :periodic, :range => [0,255], :notification => error
 with :ack => :integer, :range => [0,1], :notification => warning
end

constraint 'send' 
having :nodeid==40
with :destination => :integer, :range => [29,41,42], :notification => warning
close

constraint 'meas' 
 with  :syncdiff => :periodic, :range => [0,255], :notification => warning("sync-diff out of typical range")
close